Nuprl Definition : eq_bool
9,38
postcript
pdf
p
=b
q
== (
p
q
)
((
p
)
(
q
))
latex
Definitions
p
q
,
p
q
,
b
FDL editor aliases
eq_bool
origin
q) 
((
p) (q)) q) ((p) (q)) q qb